

#include <irq.h>
#include <keyboard.h>


/*
 * This function will handle keyboard input.
 */

void __kb_irq_handler(){

  k_print("Got a keypress.\n");

  __out_c(0x20, 0x20);

}

void __kb_init(){

  /* Register the keyboard handler function */
  __set_irq_handler(1, __kb_irq_handler);

  int x = 10 / 0;

}
